A Latent Implementation Error Detection Method for Software Validation
نویسندگان
چکیده
منابع مشابه
Error Detection for Treebank Validation
This paper describes an error detection mechanism which helps in validation of dependency treebank annotation. Consistency in treebank annotation is a must for making data as errorfree as possible and for assuring the usefulness of treebank. This work is aimed at ensuring this consistency and to make the task of validation cost effective by detecting major errors induced during completely manua...
متن کاملParallelizing Software-Implemented Error Detection
Because of economic pressure, more commodity hardware with insufficient error detection is used in critical applications. Moreover, it is expected that commodity hardware is becoming less reliable because of the continuously decreasing feature size. Thus, we expect that software-implemented approaches to deal with unreliable hardware will be needed. Arithmetic codes are well suited for this pur...
متن کاملHardware and Software Error Detection
1 INTRODUCTION A reliable computer system needs to provide its normal level of service in the presence of hardware and software faults [Avi86, Lap92]. There are two philosophies of achieving this reliability: fault avoidance, wherein techniques prevent the occurrence of faults in the first place, and fault tolerance, wherein techniques allow the system to continue execution despite the occurren...
متن کاملSimple Error Detection Method
In any communication system, the received signal will differ from the transmitted signal due to various transmission impairments. For analog signals, these impairments introduce various random modifications that degrade signal quality. For digital signals, bit errors are introduced: A binary 1 is changed into a binary 0 and vice versa. Increase in data rate of a digital transmission system incr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Mathematics
سال: 2013
ISSN: 1110-757X,1687-0042
DOI: 10.1155/2013/138287